Formal Models of Awareness
نویسندگان
چکیده
منابع مشابه
Formal Models of Awareness
This special issue on Formal Models of Awareness contains five papers that concentrate on different approaches to the notion of awareness. They include syntactic and semantic approaches to modelling awareness (awareness of formulas as opposed to awareness of semantic objects such as sets of possoble worlds) and an alternative view from the multi-agent systems perspective where awareness is iden...
متن کاملA Formal Treatment of Context-Awareness
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent that greatly exceeds the typical system/environment interaction pattern common to most modern computing. The environment has an exceedingly powerful impact on a particular application component either because the latt...
متن کاملTowards a Formal Model of Context Awareness
There is a definite lack of formal support for modeling realistic context-awareness in pervasive computing applications. The CONAWA calculus presented in this paper provides mechanisms for modeling complex and interwoven sets of context-information by extending ambient calculus with new constructs and capabilities. The calculus is a step in the direction of making formal methods applicable in t...
متن کاملModels of Awareness
Several formal models of awareness have been introduced in both computer science and economics literature as a solution to the problem of logical omniscience . In this chapter, I provide a philosophical discussion of awareness logic, showing that its underlying intuition appears already in the seminal work of Hintikka. Furthermore, I show that the same intuition is pivotal in Newell’s account o...
متن کاملA Formal Model for Context-Awareness
There is a definite lack of formal support for modeling realistic context-awareness in pervasive computing applications. The Conawa calculus presented in this paper provides mechanisms for modeling complex and interwoven sets of context-information by extending ambient calculus with new constructs and capabilities. In connection with the calculus we present four scenarios which are used to eval...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic, Language and Information
سال: 2014
ISSN: 0925-8531,1572-9583
DOI: 10.1007/s10849-014-9202-3